机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:使用有限状态自动驱动符号执行进行资源检查的DSL
机译:用于Java实时系统时序分析的符号执行和定时自动机模型检查
机译:检查状态机描述的属性:论仪器,切片和符号执行的协同作用
机译:硬件描述语言程序切片和减少边界模型检查搜索开销的方法。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:检查状态机描述的属性:关于仪表,切片和符号执行的协同作用
机译:混合类型检查和符号执行。